$\forall$$l$:IdLnk, ${\it tg}$:Id. rcv($l$,${\it tg}$) $\in$ Knd